
#ifndef KERNEL_H
#define KERNEL_H

#define  NULL  ( (void*)0 )

#endif
